function f_key_pressed(e) {

	var keynum;
						
	if(window.event) // IE
  	{
  		keynum = e.keyCode;
  	}
	else if(e.which) // Netscape/Firefox/Opera
  	{
  		keynum = e.which;
  	}			
  	
  	var inputs = document.getElementsByTagName('input');			
    for( var i=0;i<=inputs.length;i+=1){
    	if( inputs[i].id.indexOf('input_key_pressed') > -1 ){
        	inputs[i].value= keynum;
            break;
        }
   	}	
}

function hideMenuBar() {
	if(Ice.Menu.currentMenu && Ice.Menu.currentMenu.id.indexOf('popup') < 0) {
		Ice.Menu.hideAll();
	}
}